2. Advanced concepts for intelligent vision systems :
پدیدآورنده : Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
رده :
TA1634
3. Advances in aeronautical informatics :
پدیدآورنده : Umut Durak, Jürgen Becker, Sven Hartmann, Nikolaos S. Voros, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Aeronautics.,Airplanes-- Electronic equipment.,Airplanes-- Technological innovations.,Aeronautics.,Aerospace & aviation technology.,Airplanes-- Electronic equipment.,Airplanes-- Technological innovations.,Artificial intelligence.,Business mathematics & systems.,Information retrieval.,Network hardware.,TECHNOLOGY & ENGINEERING-- Engineering (General)
رده :
TL545
4. Advances in bioinformatics and computational biology :
پدیدآورنده : Ronnie Alves (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Discrete Mathematics in Computer Science.,Numeric Computing.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Life sciences: general issues.,Mathematical theory of computation.,Software Engineering.
رده :
QH324
.
2
6. Applied physics, system science and computers II :
پدیدآورنده : Klimis Ntalianis, Anca Croitoru, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Physics, Congresses.,System theory, Congresses.,Biological and Medical Physics, Biophysics.,Electrical Engineering.,Engineering.,Mathematical Modeling and Industrial Mathematics.,Operating Procedures, Materials Treatment.,Biophysics.,Computer science.,Electrical engineering.,Mathematical modelling.,Physics.,Production engineering.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.,System theory.
رده :
QC1
7. Artificial neural networks in biological and environmental analysis
پدیدآورنده : / Grady Hanrahan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Artificial intelligence--Biological applications,Biology--Data processing,Environmental engineering--Data processing,Neural networks (Computer science)--Scientific applications
رده :
QH324
.
25
.
H36
2011
8. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
9. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
10. Automated technology for verification and analysis :
پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
12. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
13. Building Innovation Pipelines through Computer-Aided Innovation
پدیدآورنده : edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
14. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
15. Computational and statistical methods in intelligent systems /
پدیدآورنده : Radek Silhavy, Petr Silhavy, Zdenka Prokopova, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics, Congresses.,Computer algorithms, Congresses.,Artificial Intelligence.,Computational Intelligence.,Artificial intelligence-- Mathematics.,Computer algorithms.,COMPUTERS / General
رده :
Q334
16. Conceptual modeling :
پدیدآورنده : Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Database design, Congresses.,Web databases, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Software Engineering.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Data mining.,Database design.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Web databases.
رده :
QA76
.
9
.
D26
17. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
18. DNA computing and molecular programming :
پدیدآورنده : David Doty, Hendrik Dietz (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Molecular computers, Congresses.,Artificial Intelligence.,Coding and Information Theory.,Computation by Abstract Devices.,Computer Systems Organization and Communication Networks.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Artificial intelligence.,Coding theory & cryptology.,Computer networking & communications.,Computer programming-- software development.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Machine Theory.,Computers-- Programming-- General.,Image processing.,Molecular computers.,User interface design & usability.
رده :
QA76
.
887
.
I58
2018eb